Metamorphic Testing of Programs on Partial Differential Equations: A Case Study
نویسندگان
چکیده
We study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation identified in the paper should also be applicable to other numerical methods that yield better approximations on the refinement of grid points or step sizes.
منابع مشابه
Simulation of Singular Fourth- Order Partial Differential Equations Using the Fourier Transform Combined With Variational Iteration Method
In this paper, we present a comparative study between the modified variational iteration method (MVIM) and a hybrid of Fourier transform and variational iteration method (FTVIM). The study outlines the efficiencyand convergence of the two methods. The analysis is illustrated by investigating four singular partial differential equations with variable coefficients. The solution of singular partia...
متن کاملOn the Exact Solution for Nonlinear Partial Differential Equations
In this study, we aim to construct a traveling wave solution for nonlinear partial differential equations. In this regards, a cosine-function method is used to find and generate the exact solutions for three different types of nonlinear partial differential equations such as general regularized long wave equation (GRLW), general Korteweg-de Vries equation (GKDV) and general equal width wave equ...
متن کاملThe new implicit finite difference scheme for two-sided space-time fractional partial differential equation
Fractional order partial differential equations are generalizations of classical partial differential equations. Increasingly, these models are used in applications such as fluid flow, finance and others. In this paper we examine some practical numerical methods to solve a class of initial- boundary value fractional partial differential equations with variable coefficients on a finite domain. S...
متن کاملSolving a Class of Partial Differential Equations by Differential Transforms Method
In this work, we find the differential transforms of the functions $tan$ and $sec$, and then we applied this transform on a class of partial differential equations involving $tan$ and $sec$.
متن کاملMatrix Multiplication Program: a Case Study of Metamorphic Testing
Software testing is one of phases in software engineering process that has a very important role to determine the quality of software under test. In software testing, after generating and selecting test cases, and executing them, the outputs need to be checked against a test oracle to determine whether any failures detected or not. Oracle problem is one of the biggest problems in Software testi...
متن کامل